Ngan Chin: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (109)
Найпопулярніші
Перелік
- Перелік
- Таблиця

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || A MATLAB-Based Code Generator for Sparse Matrix Computations

Chin, Wei-Ngan

Рік:

2004

Мова:

english

Файл:

PDF, 429 KB

english, 2004

A higher-order removal method

Wei-Ngan Chin, John Darlington

Журнал:

Higher-Order and Symbolic Computation

Рік:

1996

Мова:

english

Файл:

PDF, 2.29 MB

english, 1996

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Core-java

Craciun, Florin, Goh, Hong Yaw, Popeea, Corneliu, Chin, Wei-Ngan

Рік:

2006

Мова:

english

Файл:

PDF, 90 KB

english, 2006

Hybrid wet paper coding mechanism for steganography employing n-indicator and fuzzy edge detector

Chin-Chen Chang, Jung-San Lee, T. Hoang Ngan Le

Журнал:

Digital Signal Processing

Рік:

2010

Мова:

english

Файл:

PDF, 2.25 MB

english, 2010

Optimizing the parallel computation of linear recurrences using compact matrix representations

Adrian Nistor, Wei-Ngan Chin, Tiow-Seng Tan, Nicolae Tapus

Журнал:

Journal of Parallel and Distributed Computing

Рік:

2009

Мова:

english

Файл:

PDF, 2.52 MB

english, 2009

Calculating Sized Types

Wei-Ngan Chin, Siau-Cheng Khoo

Журнал:

Higher-Order and Symbolic Computation

Рік:

2001

Мова:

english

Файл:

PDF, 226 KB

english, 2001

Editorial

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

Журнал:

Higher-Order and Symbolic Computation

Рік:

2004

Мова:

english

Файл:

PDF, 25 KB

english, 2004

Automated verification of the FreeRTOS scheduler inHip/Sleek

Ferreira, João F., Gherghina, Cristian, He, Guanhua, Qin, Shengchao, Chin, Wei-Ngan

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2014

Мова:

english

Файл:

PDF, 1.80 MB

english, 2014

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || A Relational Model for Object-Oriented Designs

Chin, Wei-Ngan

Рік:

2004

Мова:

english

Файл:

PDF, 297 KB

english, 2004

Safe fusion of functional expressions II: Further improvements

Chin, Wei-Ngan

Журнал:

Journal of Functional Programming

Рік:

1994

Мова:

english

Файл:

PDF, 2.26 MB

english, 1994

Charting patterns on price history

Anand, Saswat, Chin, Wei-Ngan, Khoo, Siau-Cheng

Журнал:

ACM SIGPLAN Notices

Рік:

2001

Мова:

english

Файл:

PDF, 292 KB

english, 2001

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion

Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 230 KB

english, 2010

High payload steganography mechanism using hybrid edge detector

Wen-Jan Chen, Chin-Chen Chang, T. Hoang Ngan Le

Журнал:

Expert Systems with Applications

Рік:

2010

Мова:

english

Файл:

PDF, 1.30 MB

english, 2010

Solving a class of higher-order equations over a group structure

Ştefan Andrei, Wei-Ngan Chin

Журнал:

Journal of Symbolic Computation

Рік:

2004

Мова:

english

Файл:

PDF, 393 KB

english, 2004

Verifying pointer safety for programs with unknown calls

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

Журнал:

Journal of Symbolic Computation

Рік:

2010

Мова:

english

Файл:

PDF, 514 KB

english, 2010

Sharing a verifiable secret image using two shadows

Chin-Chen Chang, Chia-Chen Lin, T. Hoang Ngan Le, Hoai Bac Le

Журнал:

Pattern Recognition

Рік:

2009

Мова:

english

Файл:

PDF, 1.64 MB

english, 2009

A new algorithm for regularizing one-letter context-free grammars

Ştefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin

Журнал:

Theoretical Computer Science

Рік:

2003

Мова:

english

Файл:

PDF, 249 KB

english, 2003

Characterization, expression and complex formation of the murine Fanconi anaemia gene product Fancg

Henri J. Van De Vrugt, Mireille Koomen, Mariska A. D. Berns, Yne De Vries, Martin A. Rooimans, Laura Van Der Weel, Eric Blom, Jan De Groot, Rik J. Schepers, Stacie Stone, Maureen E. Hoatlin, Ngan Chin

Журнал:

Genes to Cells

Рік:

2002

Мова:

english

Файл:

PDF, 343 KB

english, 2002

Identification of candidate nasopharyngeal carcinoma serum biomarkers by cancer cell secretome and tissue transcriptome analysis: Potential usage of cystatin A for predicting nodal stage and poor prognosis

Kai-Ping Chang, Chih-Ching Wu, Hua-Chien Chen, Shu-Jen Chen, Pei-Hua Peng, Ngan-Ming Tsang, Li-Yu Lee, Shiau-Chin Liu, Ying Liang, Yun-Shien Lee, Sheng-Po Hao, Yu-Sun Chang, Jau-Song Yu

Журнал:

PROTEOMICS

Рік:

2010

Мова:

english

Файл:

PDF, 527 KB

english, 2010

Identification of candidate nasopharyngeal carcinoma serum biomarkers by cancer cell secretome and tissue transcriptome analysis: Potential usage of cystatin A for predicting nodal stage and poor prognosis

Kai-Ping Chang, Chih-Ching Wu, Hua-Chien Chen, Shu-Jen Chen, Pei-Hua Peng, Ngan-Ming Tsang, Li-Yu Lee, Shiau-Chin Liu, Ying Liang, Yun-Shien Lee, Sheng-Po Hao, Yu-Sun Chang, Jau-Song Yu

Журнал:

PROTEOMICS - Clinical Applications

Рік:

2010

Мова:

english

Файл:

PDF, 427 KB

english, 2010

A rigorous methodology for specification and verification of business processes

Cristian Masalagiu, Wei-Ngan Chin, Ştefan Andrei, Vasile Alaiba

Журнал:

Formal Aspects of Computing

Рік:

2009

Мова:

english

Файл:

PDF, 494 KB

english, 2009

Self-embedded context-free grammars with regular counterparts

Stefan Andrei, Wei-Ngan Chin, SalvadorValerio Cavadini

Журнал:

Acta Informatica

Рік:

2004

Мова:

english

Файл:

PDF, 191 KB

english, 2004

Prognostic significance of Tiam1 expression in papillary thyroid carcinoma

Chuen Hsueh, Jen-Der Lin, Chia-Fen Yang, Yu-Sun Chang, Tzu-Chieh Chao, Jui-Hung Sun, I-Chin Wu, Ngan-Ming Tseng, Shir-Hwa Ueng

Журнал:

Virchows Archiv

Рік:

2011

Мова:

english

Файл:

PDF, 314 KB

english, 2011

From Statecharts to Verilog: a formal approach to hardware/software co-specification

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu

Журнал:

Innovations in Systems and Software Engineering

Рік:

2006

Мова:

english

Файл:

PDF, 509 KB

english, 2006

AMINO ACIDS, ARGINASE AND NITRIC OXIDE IN VASCULAR HEALTH

Ngan Ngoc Huynh, Jaye Chin-Dusting

Журнал:

Clinical and Experimental Pharmacology and Physiology

Рік:

2006

Мова:

english

Файл:

PDF, 287 KB

english, 2006

Treatment of Squamous Cell Carcinoma of the Retromolar Trigone

Sheng-Po Hao, Ngan-Ming Tsang, Kai-Ping Chang, Chin-Kuo Chen, Shan-Sting Huang

Журнал:

The Laryngoscope

Рік:

2006

Мова:

english

Файл:

PDF, 105 KB

english, 2006

A high quality and small shadow size visual secret sharing scheme based on hybrid strategy for grayscale images

T. Hoang Ngan Le, Chia-Chen Lin, Chin-Chen Chang, Hoai Bac Le

Журнал:

Digital Signal Processing

Рік:

2011

Мова:

english

Файл:

PDF, 1.64 MB

english, 2011

Complementary serum test of antibodies to Epstein-Barr virus nuclear antigen-1 and early antigen: A possible alternative for primary screening of nasopharyngeal carcinoma

Kai-Ping Chang, Cheng-Lung Hsu, Yu-Liang Chang, Ngan-Ming Tsang, Chin-Kuo Chen, Ta-Jen Lee, Kuo-Chien Tsao, Chung-Guei Huang, Yu-Sun Chang, Jau-Song Yu, Sheng-Po Hao

Журнал:

Oral Oncology

Рік:

2008

Мова:

english

Файл:

PDF, 441 KB

english, 2008

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Журнал:

Science of Computer Programming

Рік:

2012

Мова:

english

Файл:

PDF, 455 KB

english, 2012

[IEEE 2008 19th International Conference on Pattern Recognition (ICPR) - Tampa, FL, USA (2008.12.8-2008.12.11)] 2008 19th International Conference on Pattern Recognition - Exact integral images at generic angles for 2D barcode detection

Tat-Jun Chin,, Hanlin Goh,, Ngan-Meng Tan,

Рік:

2008

Мова:

english

Файл:

PDF, 313 KB

english, 2008

Susceptibility testing of Singapore strains of Mycoplasma hominis to tetracycline, gatifloxacin, moxifloxacin, ciprofloxacin, clindamycin, and azithromycin by the Etest method

Cecilia C.L Ngan, Tongying Lim, Chin-Mun Choo, Grace L-X Toh, Yok-Seng Lim

Журнал:

Diagnostic Microbiology and Infectious Disease

Рік:

2004

Мова:

english

Файл:

PDF, 56 KB

english, 2004

Expression pattern and prognostic significance of claudins 1, 4, and 7 in nasopharyngeal carcinoma

Chuen Hsueh, Yu-Sun Chang, Ngan-Ming Tseng, Chun-Ta Liao, Swei Hsueh, Jui-Hung Chang, I-Chin Wu, Kai-Ping Chang

Журнал:

Human Pathology

Рік:

2010

Мова:

english

Файл:

PDF, 876 KB

english, 2010

Complications of mandibulotomy: Midline versus paramidline

Tsung-Sung Dai, Sheng-Po Hao, Kai-Ping Chang, Whei-Lin Pan, Hwey-Chin Yeh, Ngan-Ming Tsang

Журнал:

Otolaryngology - Head and Neck Surgery

Рік:

2003

Мова:

english

Файл:

PDF, 57 KB

english, 2003

An efficient distributed deadlock avoidance algorithm for the AND model

Hui Wu, Wei-Ngan Chin, Jaffar, J.

Журнал:

IEEE Transactions on Software Engineering

Рік:

2002

Мова:

english

Файл:

PDF, 234 KB

english, 2002

[IEEE 2010 5th International Conference on Future Information Technology - Busan, Korea (South) (2010.05.21-2010.05.23)] 2010 5th International Conference on Future Information Technology - The Dual Verifying VSS Scheme Based on Digital Signature and Halftone Logo

Lin, Chia-Chen, Chang, Chin-Chen, Le, T. Hoang Ngan, Le, Hoai Bac

Рік:

2010

Мова:

english

Файл:

PDF, 788 KB

english, 2010

Loop invariant synthesis in a combined abstract domain

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen

Журнал:

Journal of Symbolic Computation

Рік:

2013

Мова:

english

Файл:

PDF, 386 KB

english, 2013

Inhibiting proliferation of gefitinib-resistant, non-small cell lung cancer

Sudo, Makoto, Chin, Tan Min, Mori, Seiichi, Doan, Ngan B., Said, Jonathan W., Akashi, Makoto, Koeffler, H. Phillip

Журнал:

Cancer Chemotherapy and Pharmacology

Рік:

2013

Мова:

english

Файл:

PDF, 569 KB

english, 2013

A transformation method for dynamic-sized tabulation

Wei-Ngan Chin, Masami Hagiya

Журнал:

Acta Informatica

Рік:

1995

Мова:

english

Файл:

PDF, 1.26 MB

english, 1995

Automatically refining partial specifications for heap-manipulating programs

Qin, Shengchao, He, Guanhua, Luo, Chenguang, Chin, Wei-Ngan, Yang, Hongli

Журнал:

Science of Computer Programming

Рік:

2014

Мова:

english

Файл:

PDF, 529 KB

english, 2014

Tumor volumetry as a prognostic factor in the management of T4a laryngeal cancer

Hsin, Li-Jen, Fang, Tuan-Jen, Tsang, Ngan-Ming, Chin, Shy-Chyi, Yen, Tzu-Chen, Li, Hsueh-Yu, Liao, Chun-Ta, Chen, I-How

Журнал:

The Laryngoscope

Рік:

2014

Мова:

english

Файл:

PDF, 306 KB

english, 2014

Nasopharyngectomy for recurrent nasopharyngeal carcinoma: a review of 53 patients and prognostic factors

Hao, Sheng-Po, Tsang, Ngan-Ming, Chang, Kai-Ping, Hsu, Yung-Shin, Chen, Chin-Kuo, Fang, Ku-Hao

Журнал:

Acta Oto-Laryngologica

Рік:

2008

Мова:

english

Файл:

PDF, 88 KB

english, 2008

Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Журнал:

Science of Computer Programming

Рік:

2013

Мова:

english

Файл:

PDF, 386 KB

english, 2013

Expressive program verification via structured specifications

Gherghina, Cristian, David, Cristina, Qin, Shengchao, Chin, Wei-Ngan

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2014

Мова:

english

Файл:

PDF, 1.20 MB

english, 2014

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode

Wang, Shengyi, Qiu, Zongyan, Qin, Shengchao, Chin, Wei-Ngan

Рік:

2010

Мова:

english

Файл:

PDF, 267 KB

english, 2010

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - From Verification to Specification Inference

Chin, Wei-Ngan, David, Cristina

Рік:

2012

Мова:

english

Файл:

PDF, 195 KB

english, 2012

[IEEE 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - timisoara, Romania (2006.09.26-2006.09.29)] 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Incremental Deterministic Planning

Andrei, Stefan, Chin, Wei-ngan, Rinard, Martin

Рік:

2006

Мова:

english

Файл:

PDF, 261 KB

english, 2006

[IEEE 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Hong Kong, China (17-19 Aug. 2005)] 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits

Andrei, S., Wei-Ngan Chin,, Cheng, A.M.K., Yongxin Zhu,

Рік:

2005

Мова:

english

Файл:

PDF, 118 KB

english, 2005

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets

Pham, Tuan-Hung, Truong, Anh-Hoang, Truong, Ninh-Thuan, Chin, Wei-Ngan

Рік:

2008

Мова:

english

Файл:

PDF, 402 KB

english, 2008

[IEEE Comput. Soc 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002) - Washington, DC, USA (4-6 Nov. 2002)] 14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. - A lazy divide and conquer approach to constraint solving

Anand, S., Wei-Ngan Chin,, Siau-Cheng Khoo,

Рік:

2002

Мова:

english

Файл:

PDF, 269 KB

english, 2002

[IEEE 11th IEEE Real Time and Embedded Technology and Applications Symposium - San Francisco, CA, USA (07-10 March 2005)] 11th IEEE Real Time and Embedded Technology and Applications Symposium - Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting

Andrei, S., Cheng, A.M.K., Wei-Ngan Chin,, Lupu, M.

Рік:

2005

Мова:

english

Файл:

PDF, 236 KB

english, 2005